Higher-Order Abstract Syntax
https://en.wikipedia.org/wiki/Higher-order_abstract_syntax
https://www.cs.cmu.edu/~fp/papers/pldi88.pdf
https://www.researchgate.net/publication/220751871_Higher-Order_Abstract_Syntax